0
EUR
00,00*
Warenkorb EUR 00,00 *
    Erweiterte Suche
    Konto anlegen

    Trefferliste "Model Checking" - alle Bücher, LPs, CDs und mehr

    Ihre Suche nach "Model Checking" (Bücher, LPs, CDs und mehr) ergab 18 Treffer.

    Ansicht:

    Model Checking Software

    This book constitutes the refereed proceedings of the 30th International Symposium on Model Checking Software, SPIN 2024, held in Luxembourg City, Luxembourg, during April 10-11, 2024.The 9 full papers, 3…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 54,75

    Verification, Model Checking, and Abstract Interpretation

    The two-volume set LNCS 15529 and 15530 constitutes the proceedings of the 26th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2025, held in Denver, CO, USA, …

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 63,51

    Verification, Model Checking, and Abstract Interpretation

    The two-volume set LNCS 15529 and 15530 constitutes the proceedings of the 26th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2025, held in Denver, CO, USA, …

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 63,51

    Clown Motel (Blu-ray)

    Eine Gruppe von Geisterjägern und eine feierwütige Junggesellinnen-Gang treffen zufällig im abgelegenen »Clown Motel« aufeinander. Da sie in dem offenbar verlassenen Hotel niemand in Empfang nimmt, checke…

    Artikel am Lager
    Blu-ray Disc
    Aktueller Preis: EUR 4,99

    The Rolling Stones
    Black And Blue (Limited Japan SHM-CD)

    1976 stieg »Black And Blue« auf Platz 1 der US Charts ein. Nachdem die Rolling Stones meherere Ersatzgitarristen für Mick Taylor unter die Lupe genommen hatten, unter anderen auch Wayne Perkins und Harvey…

    Artikel am Lager
    CD
     
    Aktueller Preis: EUR 18,99

    Jim Sullivan
    If The Evening Were Dawn

    Am 4. März 1975 verschwand Jim Sullivan auf mysteriöse Weise bei Santa Rosa in New Mexico. Sein VW-Käfer wurden verlassen gefunden, sein Motelzimmer wirkte unberührt. Einige denken, dass er sich verirrt h…

    lieferbar innerhalb einer Woche
    CD
     
    Aktueller Preis: EUR 22,99

    The Rolling Stones
    Black And Blue (remastered) (180g) (Half Speed Master)

    1976 stieg »Black And Blue« auf Platz 1 der US Charts ein. Nachdem die Rolling Stones meherere Ersatzgitarristen für Mick Taylor unter die Lupe genommen hatten, unter anderen auch Wayne Perkins und Harvey…

    lieferbar innerhalb von 3 Tagen
    LP
     
    Aktueller Preis: EUR 32,99

    The Rolling Stones
    Black And Blue (SHM-CD) (Papersleeve)

    1976 stieg »Black And Blue« auf Platz 1 der US Charts ein. Nachdem die Rolling Stones meherere Ersatzgitarristen für Mick Taylor unter die Lupe genommen hatten, unter anderen auch Wayne Perkins und Harvey…

    lieferbar in mind. 4 Wochen
    CD
    Aktueller Preis: EUR 26,99

    The Rolling Stones
    Black And Blue (2009 Remastered)

    1976 stieg »Black And Blue« auf Platz 1 der US Charts ein. Nachdem die Rolling Stones meherere Ersatzgitarristen für Mick Taylor unter die Lupe genommen hatten, unter anderen auch Wayne Perkins und Harvey…

    Artikel am Lager
    CD
     
    Aktueller Preis: EUR 14,99

    Jim Sullivan
    U.F.O. (Blue Splatter Vinyl)

    Im März 1975 verschwand Jim Sullivan auf mysteriöse Weise außerhalb von Santa Rosa, New Mexico. Sein VW-Käfer wurde verlassen aufgefunden, sein Motelzimmer war unberührt. Manche glauben, er habe sich in d…

    lieferbar innerhalb einer Woche
    LP
    Aktueller Preis: EUR 53,99

    Jim Sullivan
    U.F.O. (remastered) (Colored Vinyl)

    Im März 1975 verschwand Jim Sullivan auf mysteriöse Weise außerhalb von Santa Rosa, New Mexico. Sein VW-Käfer wurde verlassen aufgefunden, sein Motelzimmer war unberührt. Manche glauben, er habe sich in d…

    Artikel am Lager
    LP
    Aktueller Preis: EUR 36,99

    Drew McDowall
    Agalma (Limited Edition) (Dark Translucent Green Vinyl)

    Product Information Veteran NYC based Scottish electronic musician Drew McDowall's latest work is his loftiest, most liturgical, and least industrial outing to date - and potentially the apex of his rec…

    lieferbar innerhalb einer Woche
    LP
    Aktueller Preis: EUR 33,99

    Drew McDowall
    Agalma

    Product Information Veteran NYC based Scottish electronic musician Drew McDowall's latest work is his loftiest, most liturgical, and least industrial outing to date - and potentially the apex of his rec…

    lieferbar innerhalb von 3 Tagen
    LP
    Vorheriger Preis EUR 26,99, reduziert um 7%
    Aktueller Preis: EUR 24,99

    Bridging the Gap Between AI and Reality

    Lecture Notes in Computer Science - Band 16032

    This open access book constitutes revised selected papers from the Second International Conference on Bridging the Gap between AI and Reality, AISoLA 2024, which took place in Crete, Greece, in October/No…

    lieferbar ab 3.10.2025.
    Buch
    Aktueller Preis: EUR 43,80

    CyberSecurity in a DevOps Environment

    This book provides an overview of software security analysis in a DevOps cycle including requirements formalisation, verification and continuous monitoring. It presents an overview of the latest technique…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 219,03

    Bridging the Gap Between AI and Reality

    This book constitutes the proceedings of the Second International Conference on Bridging the Gap between AI and Reality, AISoLA 2024, which took place in Crete, Greece, in October/November 2024. The paper…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 76,66

    Application and Theory of Petri Nets and Concurrency

    This book constitutes the proceedings of the 46th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2025, held in Paris, France, during June 22--27, 2025. The 21…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 81,04

    The Combined Power of Research, Education, and Dissemination

    Starting with a Laurea in Ingegneria Elettronica and a PhD in Computer and Systems Engineering at the Politecnico di Torino, Tiziana has stayed faithful to her love of organized management of composable f…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 72,27
    Informationen zur Lieferbarkeit bzw. zu Veröffentlichungsterminen von Artikeln beruhen auf Vorabinformationen unserer Lieferanten. Diese Termine sind ohne Gewähr und können sich jederzeit ändern.